body {
	font: 10pt "Lucida Grande", Lucida, Verdana, sans-serif;
}

p.device-name
{
	font-weight: bold;
}